Artículo
|
A framework for execution of secure mobile code based on static analysis :
|
Nordio, Martín
|
(2004)
|
|
----------
|
Artículo
|
An axiomatic basis for proving total correctness of goto-programs:
|
Wang, Arne
|
(1976)
|
|
----------
|
Libro
|
Métodos formais para o desenvolvimento de programas
|
Alencar, Paulo S. C. de
|
Ed. prelim.
(1988)
|
Domicilio
|
----------
|
Libro
|
Programming languages theory and its implementation: applicative and imperative paradigms
|
Gordon, Michael J.C.
|
1st ed.
(1988)
|
Domicilio
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2010)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2018)
|
|
----------
|
Programa de estudio
|
Teoría de la Computación y Verificación de Programas
|
Rosenfeld, Ricardo Fabián
|
(2019)
|
|
----------
|
Libro
|
Teoría de la computación y verificación de programas:
|
Rosenfeld, Ricardo Fabián
|
1a ed.
(2010)
|
Domicilio
Sala
|
|
Libro
|
The design of well-structured and correct programs
|
Alagic, Suad
|
2nd corr. print.
(c1978)
|
Domicilio
|
----------
|